Many-Valued Complete Distributivity
نویسندگان
چکیده
Suppose (Ω, ∗, I) is a commutative, unital quantale. Categories enriched over Ω can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid of categorical machineries, to establish theories of manyvalued complete lattices, many-valued completely distributive lattices, and so on. This paper presents a systematical investigation of many-valued complete distributivity, including the topics: (1) subalgebras and quotient algebras of many-valued completely distributive lattices; (2) categories of (left adjoint) functors; and (3) the relationship between many-valued complete distributivity and properties of the quantale Ω. The results show that enriched category theory is a very useful tool in the study of many-valued versions of orderrelated mathematical entities.
منابع مشابه
A fixed point result for a new class of set-valued contractions
In this paper, we introduce a new class of set-valued contractions and obtain a xed point theoremfor such mappings in complete metric spaces. Our main result generalizes and improves many well-known xed point theorems in the literature.
متن کاملThe left (right) distributivity of semi-t-operators over 2-uninorms
Recently the distributive equations involving various classes of aggregation operators have aroused widespread attention because of their importance in the theoretic and applied communities of fuzzy set theory. 2-uninorms and semi-t-operators are two special classes of aggregation operators and have been proved to be useful in many areas such as fuzzy decision making, approximate reasoning and ...
متن کاملA Note on the Topologicity of Quantale-Valued Topological Spaces
For a quantale V, the category V-Top of V-valued topological spaces may be introduced as a full subcategory of those V-valued closure spaces whose closure operation preserves finite joins. In generalization of Barr’s characterization of topological spaces as the lax algebras of a lax extension of the ultrafilter monad from maps to relations of sets, for V completely distributive, V-topological ...
متن کاملDistributivity and Stationary Reflections
In this paper, we present some relations between generalized distributivity of quotient algebras and Mahlo operations, and show that the distributivity implies some variants of stationary relections. The notion of generalized distributivity appeared in [3] for the first time. In that paper, we began investigating the relations between the notion and other fundamental principles in set theory, e...
متن کاملTREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...
متن کامل